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