— Han var kapten eller något slags officer på ett at de spanska skeppen ; han hette don Hernando Mureno.