the annexation of puerto rico