How did Ricky Martin get his name?

Ricky Martin was born Enrique Martín Morales.