Another brutal dictator has been vanquished. Some people say Obama led from behind by going along with the Nato air strike in Libya, but it is still hard to argue with the outcome. First Bin Laden, then Awlaki, and now Gadhafi. Obama has had more real success in the "war on terror" in three years than Bush had in eight. Whoever the GOP chooses to run against Obama will have hard time challenging his resolve on terrorism.