Comment by idsout

I think ProxyJump is a nice way to explicitly state that you want to jump hosts, but this is currently possible with ProxyCommand, such as the following...

  Host appserver1
    ProxyCommand ssh bastionhost.com -W %h:%p