Obama’s White House worked on a plan to seize Raqqa. Trump’s team decided not to pull the trigger.