DOE leadership installed a different SpaceX engineer as chief information officer — the department’s top IT official.