Government buildings completed in 1723