Padres' Michael King declines player option, set to become free agent

King, 31, has spent the previous three seasons with the Padres and has done excellent work.