You just know at least five people within the administration, one of whom being Elon Musk, wanted to change "Atlas" to "Tool"