“ราชมงคล” นามพระราชทาน ๑๕ กันยายน “วันราชมงคล”