A Note on King Milinda in the Abhidharmakośabhāṣya