The mayor of Miami-Dade ended the county’s sanctuary city policy Thursday, just a day after President Trump threatened to pull federal funds from jurisdictions that refuse to cooperate with immigration agents. Mr. Trump was quick to praise the county, saying on Twitter that it was the “right decision.” Mayor Carlos Gimenez told the Miami Herald he…