Minecraft wiki entry for Survival_in_an_infinite_desert, associated text: (Note that at the time of writing there is a bug in Java Edition[1] reported with the /locate Mineshaft command, so don't rely on that to find a mineshaft until the bug is fixed.)