20170612 city.bengaluru: Metro's peak-hour frequency may touch 4 minutes after June 17 launch