The name “horn shark” is sometimes used to refer to the nine sharks of the genus Heterod