football fish (any fish of family Himantolophidae, esp. the Atlantic footballfish, Himantolophus groenlandicus)