Robin Hood (opera) (disambiguation)