Yes, The US Navy records will not explain his discharge in 1978, those records would be under the control of the DOD
Naval officers (USN and USNR) separated between certain dates have all of their records archived at the NPRC in St. Louis. DOD has nothing to do with this. He was discharged from the Navy Reserves - those records weren't requested.