Mann funnet død i sjøen – leteaksjon i Asker avsluttet