The Trump administration is expected to purchase $400 million worth of armored Tesla vehicles, according to a new State Department document detailing procurement for fiscal year 2025.

Tesla Chief Executive Elon Musk is a top White House official who has been leading the Department of Government Efficiency, a unit focused on shrinking the federal workforce and ferreting out corruption.

The document does not specify what Tesla vehicles will be purchased by U.S. officials, but Musk’s Cybertruck, with its militaristic design and stainless steel exterior, could be an option.

After reports circulated Wednesday night of the State Department’s intent to purchase Tesla vehicles, the document was edited, at 9:12 p.m., and now says the federal contract is for $400 million worth of “armored electric vehicles,” but the word “Tesla” was removed.