Allen, John Jr., cousin of