World War II’s tiniest soldier