So far, no game company has sued the White House for infringement