US Arms Makers’ Stocks at Record Highs on Saudi Deal