militaire geschiedenis ter zee