Who was a friend of John Milton?