The newborn’s name honours the late Princess Marina, Duchess of Kent