PGP encryption can be performed from the command line as well. What is the PGP command line syntax to encrypt the my-message.txt file for a specific user (Sean) and save the output as secret-message.txt.gpg?