Red Sea Attacks Push Mining Giant to Divert Some Shipping via African Coast