The International Pulsar Timing Array: second data release. Issue 4 (12th October 2019)