How AI Companies Got Caught Up in US Military Efforts