I've seen that the train boards mostly have Mangaluru in the name but the train announcements all throughout kerala refer to it as Mangalapuram. Can it be a local name for the city? It isn't official but many people do refer to it as Mangalapuram. What is the origin of this name?