Florida airport renamed for Trump at $5.5 million cost · Reuters · Sentinel