下列湖泊中，属于构造湖盆的是？

K1-4：构造湖盆由地壳构造运动产生凹陷形成，如贝加尔湖、坦噶尼喀湖；天池是火口湖盆，镜泊湖是熔岩阻塞湖盆。