US State Department has budget line for 'Armored Teslas' worth $400M