Obama’s White House worked for months on a plan to seize Raqqa. Trump’s team took a brief look and decided not to pull the trigger.