Potassium bound structure of E. coli ExoIX in P1