Mask mandate repealed in St. Lucie County