When did puerto rico become part of the united states