The company Saronic produces an autonomous boat that was used to rescue two pilots in the Strait of Hormuz