Hilaria?
Seriously?
Hilaria is a real Spanish name. There’s an old lady (from Puerto Rico) named Hilaria in my church. Hilario is also a name.