路透社4日援引3名美国官员的话报道说，美军在斯里兰卡海域对一艘伊朗军舰实施了打击。