: Heterosminthurus insignis.