El maravilloso mago de Oz
Recibe este nombre informalmente por el personaje de ficción del mismo nombre de El maravilloso mago de Oz de L. Frank Baum. Esta denominación fue oficializada por la Unión Astronómica Internacional (IAU) el 11 de abril de 2018.