dennes , att ostindiska kompaniets direktörer fått officiel underrättelse,