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