Cuando Bart Bok se hizo ciudadano de los Estados Unidos en 1938, acortó su nombre a «Bart».