At about 1930 hours on 10 December 2017, the Maritime and Port Authority of Singapore (MPA) was informed by Johor’s Maritime Rescue…