Boholano oil tanker crewman rescued after mid-sea stroke