Attorney General Jeff Sessions is not messing around. And it looks like his tough stance on “sanctuary cities”—where criminal illegal aliens are welcomed, American citizens not so much—is working. Border crossings are down exponentially. And under heavy pressure from Sessions’ Department of Justice— including threats of the loss of federal tax dollars—Miami-Dade County is the latest to drop its “sanctuary” status:

For the first time since it began extending the detentions of local inmates sought for deportation, Miami-Dade County received word from Washington that it won’t be treated as a community giving “sanctuary” to immigration violators.

An Aug. 4 letter to [Republican] Mayor Carlos Gimenez from the Justice Department said “there was no evidence” Miami-Dade was out of compliance with an immigration provision of a federal police grant worth about $480,000 this year to the county.

Shortly after President Donald Trump took office promising an immigration crackdown, Gimenez reversed a 2013 county policy and ordered Miami-Dade jails to begin honoring requests by immigration officers to extend the detentions of people in local custody who are also being sought for possible deportation.

Miami-Dade still wants the Trump administration to declare that Miami-Dade no longer belongs on the “sanctuary” list published by the Obama administration. “We’d like to have formal notification that we are no longer a sanctuary community,” he said. “That request is being made.”

You may recall Sessions’ announcement earlier this year regarding sanctuary cities: