where is transocean richardson, a semi entered into service in 1988?
angola