Nicolás Domingo was born as Nicolás Mario Domingo.