Florida fines county US$3.5 million for mandating vaccines