New Delhi, July 10 -- WEST PALM BEACH - The plane had landed and the bags were coming off the carousel when Keegan Collett learned that the airport he had just flown into was no longer the airport it was yesterday. Florida's legislature had renamed it. The bill cost $5.5 million. Governor Ron DeSantis signed it on Wednesday. Collett told a reporter he was not persuaded the money was well spent.

The airport is now President Donald J. Trump International Airport. It was Palm Beach International. The three-letter code printed on boarding passes will change from PBI to DJT on August 18, a shift that airlines and global booking systems will need to update through the IATA registry. For passengers, that date is when the practical change arrive...