Is Stamp Duty paid on purchase of a primary residence in the UK deductible as real estate or property taxes for US tax purposes?