A variety of dungeons in a Minecraft world