Marinus, Quận trưởng Amalfi