The frozen lake problem