Operators evacuating personnel as Harvey develops in the Gulf of Mexico