State Department might buy $400 million worth of armored Teslas from DOGE head and Tesla CEO Elon Musk