How many professional athletes are in the US?