石九公是什么鱼?