N.B.: Patten's full name was William Patten, not Gulielmus Patten as credited elsewhere.
ملحوظة: كان اسم باتن الكامل هو ويليام باتن ، وليس جوليموس باتن كما تم اعتماده في مكان آخر.