Oklahoma City, SSN-723