Armed Israeli Guards Thwart Pirate Attack on Cruise Ship, BBC Glosses Over Fact