Suppose that real GDP per person in Panama in 2017 was about $12,000 per person, while it was about $48,000 per person in the United States. If real GDP per person in Panama grows at the rate of 4 percent per year, about how long will it take Panama's real GDP per person to reach the level that the United States was at in 2017?