Pethiyagoda, R. Haludaria, a Replacement Generic Name for Dravidia (Teleostei: Cyprinidae). Zootaxa 2013, 3646, 199–199.