Government buildings completed in 1725