Is there any authority for the name El Palmar o Lugar de Don Juan? The Murcia city website just calls it El Palmar: https://web.murcia.es/distritos-y-pedanias-el-palmar

Alternative names can be tagged in alt_name and historical names in old_name.