રાષ્ટ્રપતિઅે હાઈકોર્ટના ચીફ જસ્ટિસ તરીકે અનંત દવેના નામ પર મહોર મારી