"Thomas Green was executed for piracy, 11 April