If the seller (US citizen) paid capital gains tax to Phillipines, wouldn't there be a tax credit on the US return for taxes paid to Phillipines? How would that be reported on the 1040?
