For the state of Ohio, do I need to include the amount from my Thrift Savings Plan as a lump sum retirement credit if I withdrew the full amount in 2018?