Trump taps Florida sheriff as DEA administrator – The Washington Post