گزینه نظامی علیه تنگه هرمز