U.S. arms export boom under Obama seen continuing with Trump