That’s the most taxes collected ever – by any government in world history