How has Florida not retired 15