FDIC Names Bob De Luca Deputy Chief Information Officer