What is the abbreviation for Ironman florida?

Looking for the shorthand of Ironman florida or how to abbreviate it? We have 2 shorthands for Ironman florida.