江戸時代の江戸城のお堀に8メートルの鯉がいたって文献が残ってるらしいけど、聞いた事ない?