Maybe not as large as possible, but we're looking at about 10m diameter and about 1 mile deep. Here's an example of existing mining tech that meets this capacity. https://www.youtube.com/watch?v=z5vAWR7rpco