Alum and co-authors model and quantify efforts to deter WMD transfer through maritime supply chains