Botched SEAL mission planned under Obama, but left to Trump