how big was john holmes