MariDict is an online dictionary of maritime and nautical terms built with AI assistance