Forget Hillary Clinton if you’re speaking to members of the U.S. military: For most active-duty troops, the presidential election comes down to a tight race between Republican nominee Donald Trump and Libertarian candidate Gary Johnson. Trump leads Johnson by about 1 percentage point, 38 percent to 37 percent, according to a joint survey of 2,207 active…