Three killed in attacks on ships in Red Sea, Gulf, sources say

No summary available