Artificial intelligence used by Royal Navy at sea for first