En el marco de una disputa legal, se ha tomado una decisión respecto al nombre de un recinto. Mientras la situación legal sigue en curso, se ha determinado que se deben realizar algunos cambios. Se conoce que el plazo para realizar estos cambios es antes del 12 de junio, aunque para obtener más detalles se puede consultar la fuente original.