Arthus Bagen (Dutch, born )