How did Irma Dorantes get their name?

Sorry, we don't know how Irma Dorantes got their name.