元明之际杂剧《十八学士登瀛洲》(撰人不详)的简名。见该条。