"It would be preferable to resolve this diplomatically and through the use of pressure than the use of military force. But that doesn't mean that option is not fully available – not just available, but it's ready. The necessary planning has been done to ensure that it's ready." American officials have tangentially referred to the existence of such plans in the past, among them Adm Mike Mullen, the chairman of the US joint chiefs of staff until last year.