Double ionization of the atomic K shell in the annihilation of a positron with a bound K electron