When a district judge retires pursuant to this article, the office then held by him shall become vacant, and the vacancy shall be filled as provided by the Constitution.