Where does “Puerto Rico” come from?

Words derived from “Puerto Rico”