a tengermelléki hadjáratban pusztult el – Johannes de Dominis a várnai csatában esett el.