If jump host shell aliases were a valid option, then setting a port would be a much easier valid option.