Thai cave boys: rescue operation takes tragic turn as diver dies