Most likely imaginary? I'm not certain if there were any options to short $RDDT today.
It is possible to do this with standard CFDs (Contract for Difference) to long or short any company once they have listed on the stock exchange and this is available in EU countries and outside of the US which CFDs are banned.