Damaged Shell drilling rigs to be shipped to Asia — not Seattle — for repairs