const PING_TIMEOUT: Duration;
If we send a ping, and our peer takes more than PING_TIMEOUT to reply, disconnect.