The 16-rank of Q(-p) - Peter Koymans (2018)