Taxes paid by U.S. citizens and corporations