Unfortunately, I do not have access to that information; however, Puerto Rico is Spanish for "Rich Port." 
 While I may be unable to provide fun facts, did you know there is a has Federal District Court for Puerto Rico. 
 Is there any reason for the difference in names? 
 I'm looking to find some fun facts on Puerto Rico. Do you know any? 
 I didn't know that. Is there anything else about the government that I might find interesting?
While I may be unable to provide fun facts, did you know there is a has Federal District Court for Puerto Rico.