大航海時代の船には食用とは別に”処理用”の羊が乗っていたとか