Royal Dutch Shell evacuates workers from U.S. Gulf of Mexico as storm brews