I have a client who retired from the RAF in the UK (government pension) in 2013. He was a UK resident all his life. He took a lump sum distribution in July, then received subsequent monthly payments. He moved to the US in July as well. What is the taxability of the pension on his US income tax return?

He is married to a US citizen.