Random directed graphs are robustly Hamiltonian1. Issue 2 (24th December 2015)