what lake was measured with a maximum width of 0.804672?
(AND geography.lake (JOIN geography.lake.width 0.804672^^http://www.w3.org/2001/XMLSchema#float))