Politiet frigir navnet til mannen som ble funnet omkommet av dykkere etter en båtkantring i Larvik mandag.