Does my college son who lived and worked in Washington DC for 2 1/2 months before returning back to continue his education here in Ohio need to file a return for DC ?

His employer took out DC taxes.