Definition of "ophiolite"