DHS publishes resources for safeguarding against GPS hacking