美国国务卿鲁比奥：超过 15000 名军事人员参与了霍尔木兹行动。