Host 10.15.9.16
  Hostname 10.15.9.16
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.15.9.18

Host 10.15.9.17
  Hostname 10.15.9.17
  Port 10000
  User secure
  IdentityFile /tmp/id/id.dec
  ProxyJump 10.15.9.18

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