「菱池沼」とも称される。