san juan is part of puerto rico