med spanska ångaren Manilla ; den förra sjönk.