Did Twitter and the Pentagon work together to spread military propaganda?