Most likely. But maybe they just fell overboard... happens on cruise ships all the time! /S
I don’t think anyone “just threw them overboard”. I could see them using winches/cranes to haul them up and out but the article makes it sounds as if a couple of guys just picked them up and hoisted them over the rail.