अलीगढ़ का नाम 'हरिगढ़' करने की प्रक्रिया शुरू