Where does the name Puerto Rico come from?

From the riches of the port of San Juan Bautista

**********