IS U.S. CORPORATE INCOME DOUBLE-TAXED?