The Pentagon told the Navy to cut $17 billion from its budget; The Navy said no