Thai Cave rescue: Musk brings mini-sub

International