HavocAI raises $85M to sell autonomous boats to the U.S. military as startups vie for money set aside in Big Beautiful Bill