Should the U.S. reduce the size of its overseas military?