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