On the origins of the Spanish word `tiburón`, and the English word