It takes a big underground operation to prepare all the sumptuous food that Royal Caribbean’s Mariner of the Seas is well known for.