<p>The US president has at least three military options - none are good.</p>