He's right if you look at total tax revenue, as you point out. If you look at total tax revenue as a percentage of GDP or pretty much any other number that adjusts for size, he's not.
https://www.oecd.org/ctp/tax-policy/revenue-statistics-19963726.htm