. "Port or harbor of Puerto Rico" . . .