DIAMOND OFFSHORE DRILLING, INC.