Bruijning, Willem Mauritz, active 18th century, Governor of Ceylon