I travelled to Japan and stayed at a hotel that served hotpot through a portable grill. Does anyone know what this blue charcoal is and where I can buy some?

I want to get a hibachi grill and do this at home