Paris attacks heighten security for Rio Olympics