Government buildings completed in 1702