what lake is a crater lake?
(AND geography.lake (JOIN geography.lake.lake_type m.02519_))