spanish man mining for minecraft diamonds