"The letters I and X are not currently used as the first letter of any ICAO identifier, and the letter J is only used in a ceremonial ICAO identifier granted to Jezero Crater on the planet Mars, JZRO."
Did they just set a precedent for J as the Mars prefix?