Галла Плацидия
It's named ultimately after the Roman empress Galla Placidia and, also, after a Catalan Opera based on her life, written in 1913 by Jaume Pahissa. The name was approved in 1940.