Mullen: Strike on Iran an Option, But a Bad One