Battleship Vieques: Puerto Rico from World War II to the Korean War