World War II mine destroyed off Libyan coast