US resident client has dual UK and US citizenship. He traveled to UK in the summer for 2 months and worked for a company where he was paid wages of 9,000 GBP, equal to about $12,000. How does he include this foreign earned income on his US tax return?