Today's Google #Doodle: A Diego Rivera–style mural.