Jens Erik Hauch — Danish naval officer (1765-1801)