Host 20.5.127.16
  Hostname 10.251.193.1
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87

Host 20.5.127.17
  Hostname 10.251.193.2
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.5.127.87