Charged kaon identification with the RICH in tau decays