Ocean Infinity buys Red Rock with focus on autonomous port ops - Offshore Energy