New planes to serve US presidents will cost $3.9 billion and will also include the color red, as per Trump's request.
