Anthonius Krieger — Danish naval officer (1776-1847)