use correct ICAO code for A380s