Proposal for an Optical Laser Producing Light at Half the Josephson Frequency