gulf workers murdered