First of all passbolt works with the armored format of the gpg keys, so the -a options is the good one.
To identify the key you want to export you can run the following command gpg -K --with-fingerprint, once identified, you can use the fingreprint/keyId/email of the key you want to export.