After running the following command, I now have the proper ephemeris data to use the HackRF card with GPS.
./gps-sdr-sim -e brdcLatest.19n -l 21.302019,-157.808833,100 -b 8 -d 360
I then found https://github.com/osqzss/gps-sdr-sim, where I see documentation on how to use the HackRF card with the gps-sdr-sim software. I have not had time to test this out with the HackRF card.