The ants of the Florida Keys.