Badajoz (nombre propio): Provincia de España, en la comunidad autónoma de Extremadura.