Does U.S. Code Even Allow General Mattis to Serve as Secretary of Defense?