Fourth Judicial District announces El Paso County Court vacancy