The city of --------- used to be known as Puerto Rico (which means "rich port" in Spanish), while the island of Puerto Rico was originally named San Juan.?