Warm ocean is eroding West Antarctic Ice Sheet