Palm Beach International Airport was officially renamed as President Donald J. Trump International Airport on 9 July, with workers installing new highway signs outside the airport ahead of the change.

The renaming follows legislation signed by Florida Governor Ron DeSantis in March. The US Federal Aviation Administration said the airport’s three-letter code would also be updated from PBI to DJT.

Travellers expressed mixed reactions. One passenger said the US president should be honoured, while others said they preferred the airport’s previous name.