Mixing magma at Krakatoa