Saudi Arms Buyers Won a $3.5 Billion Discount From the Pentagon