Not proportional to GDP, but in absolute number, possibly.
I was thinking per capita, where the US is 10th, but it's 16th as % of GDP.
reply