Short general knowledge question: what type of currency is used in puerto rico?
United States dollar