Input: what type of currency is used in puerto rico?
Output: United States dollar