While preferring diplomacy, the president was briefed this week on options, including the use of ground troops and bombing the nuclear-linked Pickaxe Mountain site.