He should have claimed religious exemption and let them fire him to protect his retirement.
This is painful to read. Hopefully his background gives him a civilian career. He won’t be able to “double dip” as a contractor either.