At the midway point of his annual Christmas vacation, President Donald Trump huddled at his Florida club with his top national security advisers. Days earlier, a rocket attack by an Iranian-funded group struck a U.S.-Iraqi base, killing an American contractor and wounding several others. Trump’s advisers presented him with an array of options for responding, including the most dramatic possible response: taking...