ATC pronunciation of abbreviated city names