ponce is part of puerto rico