The IJsselmeer and Markermeer (of what used to be the Zuiderzee) in the Netherlands isn't much deeper but together I think quite a bit bigger than Okeechobee