Ripple Operations acquires AdonisHR to deliver global end-to-end maritime HR solution