K versus Na Ions in a K Channel Selectivity Filter