Minecraft wiki entry for Island_survival, associated text: If the stronghold appears to be under a mushroom island, you must still use eyes of ender, as mushroom islands are bigger than regular islands.