Lebanon’s leaders warned in July about explosives at port — documents