My friend and I spent an hour going through our dungeon looking for the end portal and we could not find it so we took the world seed and made a creative version where we blew up the dungeon and there was no lava even close to it world seed is 7601481