what is the diamond minecart real name