Province of Badajoz — province of western Spain